Definitions	False, t T, True, x:A. B(x), A, P Q, P Q, P & Q, P Q
Lemmas	not wf, true wf, false wf